exhausted reader

/avail/Avail/Data Abstractions/Iterators/Exhausted Readers: exhausted reader
Source: /avail/Avail/Data Abstractions/Iterators/Exhausted Readers
Categories: Data Abstractions, Readers
Supertypes: iterator
An exhausted reader has ⊥ as its element type.